The disjunction property implies the numerical existence property
نویسندگان
چکیده
منابع مشابه
The disjunction property implies the numerical existence property.
Any recursively enumerable extension of intuitionistic arithmetic which obeys the disjunction property obeys the numerical existence property. Any recursively enumerable extension of intuitionistic arithmetic proves its own disjunction property if and only if it proves its own inconsistency.
متن کاملCZF has the Disjunction and Numerical Existence Property
This paper proves that the disjunction property, the numerical existence property and Church’s rule hold true for Constructive Zermelo-Fraenkel Set Theory, CZF, and also for the theory CZF augmented by the Regular Extension Axiom. As to the proof technique, it features a self-validating semantics for CZF that combines extensional Kleene realizability and truth. MSC:03F50, 03F35
متن کاملPolynomial space hardness without disjunction property
In [HT11], Horč́ık and Terui show that if a substructural logic enjoys the disjunction property, then its tautology problem is PSPACE-hard. We prove that all substructural logics in the interval between intuitionistic logic and generalized Hájek basic logic have a PSPACE-hard tautology problem, which implies that uncountably many substructural logics lacking the disjunction property have a PSPAC...
متن کاملDisjunction property and complexity of substructural logics
We systematically identify a large class of substructural logics that satisfy the disjunction property (DP), and show that every consistent substructural logic with the DP is PSPACE-hard. Our results are obtained by using algebraic techniques. PSPACE-completeness for many of these logics is furthermore established by proof theoretic arguments.
متن کاملThe Disjunction Property according to Kreisel and Putnam
This paper is dedicated to my longtime friend and colleague Roel de Vrijer on the occasion of his sixtieth birthday. With its subject I have tried to go a little in his direction by taking a very syntactic subject. The work is part of a project in progress in cooperation with Rosalie Iemhoff and Nick Vaporis. It concerns the disjunction property in intermediate logics, i.e. logics extending the...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the National Academy of Sciences
سال: 1975
ISSN: 0027-8424,1091-6490
DOI: 10.1073/pnas.72.8.2877